Nuprl Definition : quotient def
9,38
postcript
pdf
x
,
y
:
A
//
B
(
x
;
y
) is Primitive
latex
origin